<?php
class system_db_profiler_exception extends system_db_exception {
}